Computer-Aided Methods for Social Choice Theory
نویسندگان
چکیده
منابع مشابه
Generating Insights in Social Choice Theory via Computer-aided Methods
The rise of computational social choice, a relatively new research field, indicates that a computer-science perspective on social choice theory is fruitful and can contribute to our understanding of collective decision making. In this thesis, we show how substantial insights in social choice theory can be achieved via computer-aided methods that are based on powerful solving techniques, such as...
متن کاملAutomated Reasoning in Social Choice Theory: Some Remarks
Our objective in this note is to comment briefly on the newly emerging literature on computer-aided proofs in Social Choice Theory. We shall specifically comment on [16] (henceforth TL) and [4] (henceforth GE). In the Appendix we provide statements and brief descriptions of the results discussed in this note. Mathematics Subject Classification (2000). Primary (91B14,68T15); Secondary (03B35).
متن کاملComputer Aided Design for Single-Phase Induction Motors Based on a New Gemoetrical Approach
Design of electrical motors normally involves two main stages: i) Preparation of the main dimensions and parameters. ii) Prediction of the performance. At the first stage the main dimensions of the motor, core stack Lfe and stator outer diameter Do, must be chosen. A set of performance conditions such as breakdown torque, desired output and other important parameters must satisfy the internatio...
متن کاملA New Computer-Aided Detection System for Pulmonary Nodule in CT Scan Images of Cancerous Patients
Introduction: In the lung cancers, a computer-aided detection system that is capable of detecting very small glands in high volume of CT images is very useful.This study provided a novelsystem for detection of pulmonary nodules in CT image. Methods: In a case-control study, CT scans of the chest of 20 patients referred to Yazd Social Security Hospital were examined. In the two-dimensional and ...
متن کاملA Computer-Aided Proof to Gibbard-Satterthwaite Theorem
The Gibbard-Satterthwaite Theorem is a landmark result in both social choice theory and implementation theory, as it bridges normative and strategic analysis of voting problems. The theorem states that any social choice function that is strategy-proof and onto is also dictatorial. In this paper, we provide a computer-aided inductive proof for the theorem. We first show that this result holds if...
متن کامل